Reflections on temporal and modal logic
نویسندگان
چکیده
منابع مشابه
Temporal and Modal Logic
We give a comprehensive and unifying survey of the theoretical aspects of Temporal and Modal Logic Note This paper is to appear in the Handbook of Theoretical Computer Science J van Leeuwen managing editor North Holland Pub Co Work supported in part by US NSF Grant CCR ONR Contract N K and Netherlands ZWO grant nf nfb
متن کاملTemporal and Modal Logic Programming :
This paper presents a structured, annotated bibliography of extensions of logic programming based on temporal and modal logics. Temporal and modal logic programming is a new area of research, which gained momentum in the late 1980'ies. The paper discusses temporal and modal logic programming under three headings: (1) interval logic programming , (2) temporal logic programming, and (3) modal log...
متن کاملTiming in music and modal temporal logic
‘In-time’ representations of music in which the time represented is the same time as inhabited by the agent making or using the representation are contrasted with ‘out-of-time’ representations. Temporal logics with a similar ‘in-time’ perspective, and in particular those using operators S and U for ‘since’ and ‘until’, are explored as a means of representing musical situations, with particular ...
متن کاملNaming Worlds in Modal and Temporal Logic
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x; y) which states that two time points are at the same distance from the root. We provide the systems studied with complete axiomatizations and illustrate the expressive power gained for modal logic by simulating othe...
متن کاملCharacterising Deadlines in Temporal Modal Defeasible Logic
We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the following parameters: deontic operator, maintenance or achievement, presence or absence of sanctions, and persistence after the deadline. The deadline types are illustrated by a set of examples.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2014
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2014.015